How Computers Solve Mazes